$\forall$${\it the\_es}$:ES. E $\in$ Type